On Sequentially Compact Subspaces of without the Axiom of Choice
نویسندگان
چکیده
منابع مشابه
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice
We show that the property of sequential compactness for subspaces of R is countably productive in ZF. Also, in the language of weak choice principles, we give a list of characterizations of the topological statement ‘sequentially compact subspaces of R are compact’. Furthermore, we show that forms 152 (= every non-well-orderable set is the union of a pairwise disjoint well-orderable family of d...
متن کاملRowbottom cardinals without the Axiom of Choice
We show that for all natural numbers n, the theory “ZF +DCאn + אω is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + אω1 is an ω2-Rowbottom cardinal carrying an ω2-Rowbottom filter and ω1 is regular” has the same consistency strength as the theory “ZFC + There...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
the effect of explicit teaching of metacognitive vocabulary learning strategies on recall and retention of idioms
چکیده ندارد.
15 صفحه اولthe washback effect of discretepoint vs. integrative tests on the retention of content in knowledge tests
در این پایان نامه تاثیر دو نوع تست جزیی نگر و کلی نگر بر به یادسپاری محتوا ارزیابی شده که نتایج نشان دهندهکارایی تستهای کلی نگر بیشتر از سایر آزمونها است
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2003
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1091030855